report

2025-10-25

unexplained-errors

info

Used nodes: [<attribute 'node' missing>]

summary

average_num_derived_state_variables

Only tasks where all algorithms have a value for "average_num_derived_state_variables" are considered. Each table entry gives the sum of "average_num_derived_state_variables" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

average_num_double_slots_per_state

Only tasks where all algorithms have a value for "average_num_double_slots_per_state" are considered. Each table entry gives the sum of "average_num_double_slots_per_state" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

average_num_fluent_state_variables

Only tasks where all algorithms have a value for "average_num_fluent_state_variables" are considered. Each table entry gives the sum of "average_num_fluent_state_variables" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

average_num_index_slots_per_state

Only tasks where all algorithms have a value for "average_num_index_slots_per_state" are considered. Each table entry gives the sum of "average_num_index_slots_per_state" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

average_num_numeric_state_variables

Only tasks where all algorithms have a value for "average_num_numeric_state_variables" are considered. Each table entry gives the sum of "average_num_numeric_state_variables" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

average_num_slots_per_state

Only tasks where all algorithms have a value for "average_num_slots_per_state" are considered. Each table entry gives the sum of "average_num_slots_per_state" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

average_num_state_variables

Only tasks where all algorithms have a value for "average_num_state_variables" are considered. Each table entry gives the sum of "average_num_state_variables" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

cost

Only tasks where all algorithms have a value for "cost" are considered. Each table entry gives the sum of "cost" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

coverage

The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

initial_h_value

Only tasks where all algorithms have a value for "initial_h_value" are considered. Each table entry gives the finite sum of "initial_h_value" for that domain. The bottom row reports the finite sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

invalid_plan_reported

Only tasks where all algorithms have a value for "invalid_plan_reported" are considered. Each table entry gives the sum of "invalid_plan_reported" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

length

Only tasks where all algorithms have a value for "length" are considered. Each table entry gives the sum of "length" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_double_slots

Only tasks where all algorithms have a value for "num_double_slots" are considered. Each table entry gives the sum of "num_double_slots" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_expanded

Only tasks where all algorithms have a value for "num_expanded" are considered. Each table entry gives the sum of "num_expanded" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_expanded_until_last_f_layer

Only tasks where all algorithms have a value for "num_expanded_until_last_f_layer" are considered. Each table entry gives the sum of "num_expanded_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_generated

Only tasks where all algorithms have a value for "num_generated" are considered. Each table entry gives the sum of "num_generated" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_generated_until_last_f_layer

Only tasks where all algorithms have a value for "num_generated_until_last_f_layer" are considered. Each table entry gives the sum of "num_generated_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_index_slots

Only tasks where all algorithms have a value for "num_index_slots" are considered. Each table entry gives the sum of "num_index_slots" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_of_nodes

Only tasks where all algorithms have a value for "num_of_nodes" are considered. Each table entry gives the sum of "num_of_nodes" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_of_states

Only tasks where all algorithms have a value for "num_of_states" are considered. Each table entry gives the sum of "num_of_states" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_pruned_until_last_f_layer

Only tasks where all algorithms have a value for "num_pruned_until_last_f_layer" are considered. Each table entry gives the sum of "num_pruned_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_reachable_derived_atoms

Only tasks where all algorithms have a value for "num_reachable_derived_atoms" are considered. Each table entry gives the sum of "num_reachable_derived_atoms" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_reachable_fluent_atoms

Only tasks where all algorithms have a value for "num_reachable_fluent_atoms" are considered. Each table entry gives the sum of "num_reachable_fluent_atoms" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

num_slots

Only tasks where all algorithms have a value for "num_slots" are considered. Each table entry gives the sum of "num_slots" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

out_of_memory

Only tasks where all algorithms have a value for "out_of_memory" are considered. Each table entry gives the sum of "out_of_memory" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

out_of_time

Only tasks where all algorithms have a value for "out_of_time" are considered. Each table entry gives the sum of "out_of_time" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

peak_memory_usage_in_bytes

Only tasks where all algorithms have a value for "peak_memory_usage_in_bytes" are considered. Each table entry gives the sum of "peak_memory_usage_in_bytes" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

run_dir

Per-domain reports only support numeric attributes, but run_dir has type str.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

score_peak_memory_usage_in_bytes

The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

score_state_peak_memory_usage_in_bytes

The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

search_time

Only tasks where all algorithms have a value for "search_time" are considered. Each table entry gives the geometric mean of "search_time" for that domain. The bottom row reports the geometric mean across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

state_peak_memory_usage_in_bytes

Only tasks where all algorithms have a value for "state_peak_memory_usage_in_bytes" are considered. Each table entry gives the sum of "state_peak_memory_usage_in_bytes" for that domain. The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

total_time

Only tasks where all algorithms have a value for "total_time" are considered. Each table entry gives the geometric mean of "total_time" for that domain. The bottom row reports the geometric mean across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map

unsolvable

The bottom row reports the sum across all domains.

cnot-synthesis-lifted

cnot-synthesis-lifted-hard

cnot-synthesis-lifted-map